From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
How to actually use Model Context Protocol
seangoedecke.com·17h
⚡Proof Automation
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·13h
🤐Secure Multiparty
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Building Production-Grade Network Telemetry: A gRPC Journey Into the Heart of Network Monitoring
dev.to·20h·
Discuss: DEV
📡Network Monitoring
Generating Production-Ready MCP Servers
withcoherence.com·2h·
Discuss: Hacker News
🔌Interface Evolution
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·1d
📡Bluetooth Archaeology
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·5h
🖥️Terminal Renaissance
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2h
🔌Interface Evolution
Gradual negation types and the Python type system
jellezijlstra.github.io·10h·
Discuss: Hacker News
🔬Refinement Types
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·17h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Blog - Hey Signal! Great Encryption Needs Great Authentication
sequoia-pgp.org·1d
🎯NTLM Attacks
Issue 481
haskellweekly.news·5h
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·2h
🔐Quantum Security
A Wide Reduction Trick (2022)
words.filippo.io·14h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·13h
🔐Quantum Security